# GNU All-Permissive License
# Copying and distribution of this file, with or without modification,
# are permitted in any medium without royalty provided the copyright
# notice and this notice are preserved.  This file is offered as-is,
# without any warranty.

#!/bin/sh

CODE=src
REPO="${1}"

pushd "${HOME}"/"${CODE}"/"${REPO}"
git pull upstream master || echo "${REPO}" `date` >> "${HOME}"/"${CODE}"/error.log
git push origin HEAD || echo "${REPO}" `date` >> "${HOME}"/"${CODE}"/error.log
popd
